the supremum exists

Translations
супремум существует
The supremum exists for any bounded above set.
Супремум существует для любого ограниченного сверху множества.